sum 2^n(7n-12)/binomial(2n,n)